61. Coditional inference and logic for interlligent systems: a theory of measure-free conditioning
پدیدآورنده: I.R. Goodman, H.T. Nguyen and E.A. Walker
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع: Expert systems (Computer science),Artificial intelligence,Probabilities,Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
E95G67
1991
62. Commonsense Reasoning
پدیدآورنده: \ Erik T. Mueller, IBM Watson Group and IBM Research.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Commonsense reasoning-- Automation.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.,استدلال عام -- خودکاری
رده :
E-Book
,
63. Commonsense reasoning /
پدیدآورنده: Erik T. Mueller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence-- Mathematics.,Commonsense reasoning-- Automation.,Logic, Symbolic and mathematical-- Data processing.,Artificial Intelligence.,Automation.,Electronic Data Processing.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.
رده :
Q338
.
85
.
M84
2006eb
64. Computational Logic :
پدیدآورنده: edited by John W. Lloyd.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
رده :
QA76
.
9
.
A96
E358
1990
65. Computational logic in multi-agent system
پدیدآورنده: / J?�rgen Dix, Jo?uo Leite (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic--Congresses,Intelligent agents (Computer software)--Congresses,Distributed artificial intelligence--Congresses
رده :
QA
,
76
.
9
,.
L63
,
C656
,
2004
66. Computational logic in multi-agent systems
پدیدآورنده: / Francesca Toni, Paolo Torroni (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic--Congresses,Intelligent agents (Computer software)--Congresses,Distributed artificial intelligence--Congresses,CLIMA,Multi-agent systems,Computational logic
رده :
QA
,
76
.
9
,.
L63
,
C67
,
2005
67. Computational pathology and ophthalmic medical image analysis :
پدیدآورنده: Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Eye-- Imaging, Congresses.,Pathology-- Data processing, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Image Processing and Computer Vision.,Pattern Recognition.,Probability and Statistics in Computer Science.,Algorithms & data structures.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Mathematical & Statistical Software.,Image processing.,Maths for computer scientists.,Pathology-- Data processing.,Pattern recognition.
رده :
RB38
68. Computer Aided Verification :
پدیدآورنده: Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
69. Computing Meaning :
پدیدآورنده: edited by Harry Bunt, Reinhard Muskens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Linguistics.,Logic.
70. Connectomics in neuroimaging :
پدیدآورنده: Guorong Wu, Islem Rekik, Markus D. Schirmer, Ai Wern Chung, Brent Munsell (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Brain-- Imaging, Congresses.,Brain mapping, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Image Processing and Computer Vision.,Probability and Statistics in Computer Science.,Algorithms & data structures.,Artificial intelligence.,Brain-- Imaging.,Brain mapping.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Mathematical & Statistical Software.,Image processing.,Maths for computer scientists.
رده :
RC386
.
6
.
B7
71. Constraint Solving and Language Processing
پدیدآورنده: edited by Denys Duchier, Yannick Parmentier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.
72. Correct reasoning
پدیدآورنده: Esra Erdem ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence,Logic programming
رده :
QA76
.
63
.
C67
2012eb
73. Current trends on knowledge-based systems
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه علوم پزشكی اصفهان (اصفهان)
موضوع: Expert systems (Computer science) ,Artificial intelligence,Computer science,Internet of things,Algorithms,Logic, Symbolic and mathematical,Data mining
رده :
QA76
.
76
.
E95
C8
2017
74. Current trends on knowledge-based systems
پدیدآورنده:
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Artificial intelligence,Expert systems (Computer science),Logic, Symbolic and mathematical
رده :
006
.
3
C976
2017
21
75. Data driven treatment response assessment and preterm, perinatal, and paediatric image analysis :
پدیدآورنده: Andrew Melbourne, Roxane Licandro, Matthew DiFranco, Paolo Rota, Melanie Gau, Martin Kampel, Rosalind Aughwane, Pim Moeskops, Ernst Schwartz, Emma Robinson, Antonios Makropoulos (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Diagnostic imaging-- Data processing, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Health Informatics.,Image Processing and Computer Vision.,Algorithms & data structures.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Logic Design.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Medical-- General.,Program concepts-- learning to program.
رده :
RC78
.
7
.
D53
76. Descriptional complexity of formal systems :
پدیدآورنده: edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Formal methods (Computer science), Congresses.,Logic design.,Artificial intelligence.,Computer science.,Formal methods (Computer science),Logic design.
رده :
QA76
.
5913
D34
2019
77. Developments in Language Theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics. ; Computers. ; Artificial intelligence. ; Logics and Meanings of Programs. ; -Computer logic. ; Natural language processing (Computer science). ; Computer science
78. Developments in Language Theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic design. ; Natural language processing (Computer science). ; Database management. ; Artificial intelligence. ; Computer logic. ; Computer science. ; Software engineering. ; Logics and Meanings of Programs. ;
79. Discourse, Interaction and Communication :
پدیدآورنده: edited by Xabier Arrazola, Kepa Korta, Francis Jeffry Pelletier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Humanities.,Logic.
